аналитически выразимое высказывание

Mathematics: analytically expressible sentence